Sammanfattning: Vad är den definitiva referens- eller referensimplementeringen för RISC-V ISA på användarnivå? Kontext: RISC-V-webbplatsen har "The RISC-V Instruction Set Manual" som förklarar användarnivåinstruktionerna mycket bra, men ger ingen exakt specifikation för dem. Jag försöker bygga en ISA-simulator på användarnivå nu och tänker skriva en FPGA-implementering senare, så det exakta beteendet är viktigt för mig. En referensimplementering skulle vara tillräcklig, men bör helst vara så enkel som möjligt - det vill säga jag skulle bara försöka förstå en pipelinedimplementering som en sista utväg. Det som är viktigt är att ha förståelse för den angivna ISA och inte för en enda CPU-implementering eller kompilatorimplementering. Ett exempel för att visa mitt problem är AUIPC-instruktionen: Prosa-förklaringen säger att "AUIPC bildar en 32-bitars offset från 20-bitars U-omedelbar, fyller i de lägsta 12 bitarna med nollor, lägger till denna offset till datorn, sedan placerar resultatet i register rd. " Jag ville veta om detta hänvisar till den gamla eller nya PC: n, dvs. positionen för AUIPC-instruktionen eller nästa instruktion. Jag tittade på "RISCV Angel" -implementeringen, men det verkar dölja de nedre bitarna på den (gamla) datorn - inte bara omedelbart - vilket jag inte kunde hitta någon anledning till i specifikationen, inte ens i ändra historik för specifikationen (eftersom Angel är lite äldre). Istället för ett svar har jag nu två frågor om AUIPC. Många andra instruktioner utgör liknande problem för mig.
2021-01-16 08:16:22
AFAICT RISC-V Instruktionsuppsättningsmanualen som du citerar är närmast en definitiv referens. Om det finns saker som är oklara eller felaktiga där inne kan du öppna problem på Github-webbplatsen där dokumentet underhålls: https://github.com/riscv/riscv-isa-manual
När det gäller AIUPC är svaret underförstått, men anges inte uttryckligen, av denna mening längst ner på sidan 9 i den aktuella handboken:
Det finns ytterligare ett användarsynligt register: programräknardatorn har adressen till den aktuella instruktionen.
Baserat på detta uttalande skulle jag förvänta mig att pc-värdet som ses och manipuleras av AIUPC-instruktionen är adressen till själva AIUPC-instruktionen.
Denna tolkning stöds av diskussionen om JALR-instruktionen:
Den indirekta hoppinstruktionen JALR (hopp- och länkregister) använder kodningen av I-typ. Måladressen erhålls genom att lägga till den 12-bitars signerade I-omedelbara till registret rs1 och sedan sätta den minst signifikanta biten av resultatet till noll. Adressen till instruktionen efter hoppet (pc + 4) skrivs för att registrera rd.
Med tanke på att adressen till följande instruktion uttrycks som pc + 4, verkar det klart att pc-värdet som är synligt under körningen av JALR är adressen till själva JALR-instruktionen.
Det senaste utkastet till manualen (på https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) gör situationen något tydligare. I stället för detta i den aktuella handboken:
AUIPC lägger till 12 nollbitar med låg ordning till 20-bitars U-omedelbar, sign-utökar resultatet till 64 bitar, lägger sedan till det på datorn och placerar resultatet i register rd.
det senaste utkastet säger:
AUIPC bildar en 32-bitars förskjutning från 20-bitars U-omedelbar, fyller i de lägsta 12 bitarna med nollor, lägger till denna förskjutning till PC för AUIPC-instruktionen och placerar sedan resultatet i register rd.
|
Ditt svar
StackExchange.ifUsing ("editor", function () {
StackExchange.using ("externalEditor", funktion () {
StackExchange.using ("snippets", function () {
StackExchange.snippets.init ();
});
});
}, "kodutdrag");
StackExchange.ready (funktion () {
var channelOptions = {
taggar: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", funktion () {
// Måste aktivera redaktören efter utdrag, om utdrag aktiverade
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("snippets", function () {
createEditor ();
});
}
annat {
createEditor ();
}
});
funktion createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: falsk,
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: sant,
showLowRepImageUploadWarning: true,
reputToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Drivs av \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.72543 4.916.56 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C414.42.0.412.6.6 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.545.5 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evend = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913.4279.4670.46 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.125 12.222.225 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335172424.166 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879.25 .0006. 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7,58817 14,3365 6,91179 15,4269 6.91179C16.4027 6,91179 16,8045 7,58817 16,8045 8.94108V11.9512Z / \ u003e \ u003cpath d = M3.31675 6.59049C3.31675 5,28821 2,83866 4,66232 1,82471 4.66232C0 .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.82012001 0,09 1.98861C0 2,87869 0,822846 3,57676 1,87209 3.57676C2.90056 3,57676 3,7234 2,87869 3,7234 1.98861C3.7234 1,1159 2,90056 0,400291 1,87209 0.400291Z \ "fill = \" # 1BB76E \ "/ \ u003e \ u003c / s ,
contentPolicyHtml: “Användarbidrag licensierade under \ u003ca href =” https: //stackoverflow.com/help/licensing “\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href =” https://stackoverflow.com / legal / content-policy \ "\ u003e (content policy) \ u003c / a \ u003e",
allowUrls: sant
},
onDemand: sant,
discardSelector: ".discard-answer"
, direktShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Tack för att du bidrog med ett svar till Stack Overflow!
Var noga med att svara på frågan. Ge detaljer och dela din forskning!
Men undvik ...
Be om hjälp, förtydligande eller svara på andra svar.
Att göra uttalanden baserade på åsikt; Säkerhetskopiera dem med referenser eller personlig erfarenhet.
För att lära dig mer, se våra tips för att skriva bra svar.
Utkast sparat
Utkast kasseras
Registrera dig eller logga in
StackExchange.ready (funktion () {
StackExchange.helpers.onClickDraftSave ('# login-link');
});
Registrera dig med Google
Registrera dig med Facebook
Registrera dig med e-post och lösenord
Skicka in
Lägg upp som gäst
namn
E-post
Obligatoriskt men aldrig visat
StackExchange.ready (
funktion () {
StackExchange.openid.initPostLogin ('. New-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f55314747% 2frisc-v-user-level-reference-or-reference-implementation% 23new-answer' , 'frågesida');
}
);
Lägg upp som gäst
namn
E-post
Obligatoriskt men aldrig visat
Lägg upp ditt svar
Kassera
Genom att klicka på “Lägg upp ditt svar” godkänner du våra användarvillkor, sekretesspolicy och cookiepolicy
Inte svaret du letar efter? Bläddra bland andra frågor taggade riscv eller ställ din egen fråga.